Entanglement Detection in the Stabilizer Formalism

We investigate how stabilizer theory can be used for constructing sufficient conditions for entanglement. First, we show how entanglement witnesses can be derived for a given state, provided some stabilizing operators of the state are known. These witnesses require only a small effort for an experimental implementation and are robust against noise. Second, we demonstrate that also nonlinear criteria based on uncertainty relations can be derived from stabilizing operators. These criteria can sometimes improve the witnesses by adding nonlinear correction terms. All our criteria detect states close to Greenberger-Horne-Zeilinger states, cluster and graph states. We show that similar ideas can be used to derive entanglement conditions for states which do not fit the stabilizer formalism, such as the three-qubit W state. We also discuss connections between the witnesses and some Bell inequalities.Comment: 15 pages including 2 figures, revtex4; typos corrected, presentation improved; to appear in PR

Drying of Heat Sensitive Materials of High Moisture Content in Mechanically Spouted Bed of Inert Particles

In drying operation the material characteristics such as heat sensitivity, moisture content and particle size are of great importance, which should be taken into account in selection of proper design and conditions for the process. Rigorous quality requirements, i.e. gentle drying of heat sensitive materials, stable, well-controlled and economic operation can be fulfilled by using Mechanically Spouted Bed (MSB) dryer with inert particles developed to eliminate some drawbacks of the conventional spouted bed dryers. In this paper the construction and the main features of MSB-dryer are presented. Different tasks with special quality demands, namely drying of bovine serum albumin and moisture removal from tomato pulp of thermoplastic behaviour, and a method to accomplish these requirements are shown

BEC for a Coupled Two-type Hard Core Bosons Model

We study a solvable model of two types hard core Bose particles. A complete analysis is given of its equilibrium states including the proof of existence of Bose-Einstein condensation. The plasmon frequencies and the quantum normal modes corresponding to these frequencies are rigorously constructed. In particular we show a two-fold degeneracy of these frequencies. We show that all this results from spontaneous gauge symmetry breakdown

Safe Concurrency Introduction through Slicing

Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible

Faceting and branching in 2D crystal growth

The official published version of the Article can be accessed from the link below - Copyright @ 2011 APSUsing atomic scale time-dependent density functional calculations we confirm that both diffusion-controlled and diffusionless crystallization modes exist in simple 2D systems. We provide theoretical evidence that a faceted to nonfaceted transition is coupled to these crystallization modes, and faceting is governed by the local supersaturation at the fluid-crystalline interface. We also show that competing modes of crystallization have a major influence on mesopattern formation. Irregularly branched and porous structures are emerging at the crossover of the crystallization modes. The proposed branching mechanism differs essentially from dendritic fingering driven by diffusive instability.This work has been supported by the EU FP7 Collaborative Project ENSEMBLE under Grant Agreement NMP4-SL-2008-213669 and by the Hungarian Academy of Sciences under Contract No. OTKA-K-62588

Toward the Jamming Threshold of Sphere Packings: Tunneled Crystals

We have discovered a new family of three-dimensional crystal sphere packings that are strictly jammed (i.e., mechanically stable) and yet possess an anomalously low density. This family constitutes an uncountably infinite number of crystal packings that are subpackings of the densest crystal packings and are characterized by a high concentration of self-avoiding "tunnels" (chains of vacancies) that permeate the structures. The fundamental geometric characteristics of these tunneled crystals command interest in their own right and are described here in some detail. These include the lattice vectors (that specify the packing configurations), coordination structure, Voronoi cells, and density fluctuations. The tunneled crystals are not only candidate structures for achieving the jamming threshold (lowest-density rigid packing), but may have substantially broader significance for condensed matter physics and materials science.Comment: 19 pages, 5 figure